(assert (exists ((x Int) (y Int) (a Real) (z Int)) (or (< x (* 114 a (- 228 (- 195 10 113) y) (* 158 (- 176 64 93) z))) (>= x (* 113 46 (- 50 6 a) (- 68 (/ 106 224 43) y) (* 232 (* 222 82 157) z))))))
(check-sat)
